$f$ $\subseteq$ $g$ $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$\forall$$x$:$A$. $x$ $\in$ dom($f$) $\Rightarrow$ $x$ $\in$ dom($g$) \& $f$($x$) $=$ $g$($x$)